mathematical logic造句
例句與造句
- Several factors in mathematical logic translation
數(shù)理邏輯翻譯中的幾個(gè)因素 - On the second revolution of mathematical logic
論第2次數(shù)理邏輯革命 - The feature of the mathematical logic and the aesthetics in the ancient chinese capital planning
中國(guó)古代都城規(guī)劃中的數(shù)理哲學(xué)與美學(xué)特征 - He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英國(guó)bristol university頒發(fā)的數(shù)理邏輯和計(jì)算理論的理學(xué)碩士學(xué)位。 - R . cori & d . lascar : mathematical logic ? a course with exercises , part i . oxford university press , 2001
陳慕澤余俊偉：數(shù)理邏輯基礎(chǔ)? ?一階邏輯與一階理論，中國(guó)人民大學(xué)出版社2003 。 - It's difficult to find mathematical logic in a sentence. 用mathematical logic造句挺難的
- This paper shows that the methods of mathematical logic may have a broad application and also valuable to human ' s daily thinking
這說明，數(shù)理邏輯的方法可以有廣泛的運(yùn)用，它對(duì)于日常思維同樣有重要的價(jià)值。 - This is an article about mathematical logic , its are basic the thought is to stem from the true reason that considers a theory to prove end at result of a kind of calculative
這是一篇關(guān)于數(shù)理邏輯的文章，其基本思想是出于想把理論的真理性論證歸結(jié)于一種計(jì)算的結(jié)果。 - Thanks to the mathematical logic of this two - key procedure , it is not necessary for both sides of a communication to know the full key combination , and every key is unique
您還應(yīng)該注意一下“隨大流” 。僅僅因?yàn)橐粋€(gè)特殊的安全性功能是標(biāo)準(zhǔn)的并不意味著您應(yīng)該提供同樣低級(jí)的保護(hù)。 - The tool mr barth is employing to effect this transition is linear temporal logic , a system of mathematical logic that can express detailed constraints on the past and the future
巴斯先生用來實(shí)現(xiàn)這一轉(zhuǎn)化過程的工具是線性時(shí)序邏輯，一種可以表達(dá)過去和未來的詳細(xì)約束的數(shù)理邏輯系統(tǒng)。 - Fundamenta informaticae , 2004 , 62 : 1 - 23 . 10 kleine b " uing h , lettmann h . propositional logic : deduction and algorithms , cambridge university press , 1999 . 11 hilbert d , ackermann w . principles of mathematical logic
2提出了一個(gè)算法把ctl在有界語(yǔ)義下滿足性的檢測(cè)規(guī)約到一個(gè)qbf quantified boolean formulas問題的滿足性的判定上，同時(shí)證明了算法的正確性。 - We already know that in a very real sense mathematics is " incomplete . " kurt gdel showed in 1931 that no system of mathematical logic was complete in the sense that it could be self - contained , consistent , and complete
我們已經(jīng)非常清楚地知道數(shù)學(xué)是“不完整”的。 kurt gdel于1931年指出，在自我包含，一致性，和完整的意義上，沒有任何數(shù)學(xué)邏輯系統(tǒng)是完整的。 - Basic theories used in the research are agricultural economics , environmental economics , welfare economics , public economics , finance , sustainable developing economics , etc . main research methods are mathematical logic analyzing method , figure and graph analyzing method , philological method , combining definition and ration , etc . using for reference of foreign advanced experience about supporting sustainable agriculture , combing related agricultural policy in wto , basing new funds supporting system upon current situation of chinese agricultural investment , i lodge a agricultural sustainable supporting system which is consonant with chinese agricultural feature
從“世界是事實(shí)的總和，而非事物的總和( wittgenstein關(guān)于科學(xué)的命題之一) ”角度出發(fā)，本論文在研究過程中力求堅(jiān)守事實(shí)的客觀性。研究思路遵循著：研究問題的提出? ?農(nóng)業(yè)可持續(xù)發(fā)展研究? ?農(nóng)業(yè)可持續(xù)發(fā)展資金支持研究? ?中國(guó)農(nóng)業(yè)可持續(xù)發(fā)展資金支持體系的設(shè)計(jì)與對(duì)策分析的路徑。研究邏輯服從于：核心概念界定? ?農(nóng)業(yè)可持續(xù)發(fā)展與資金支持構(gòu)造解析? ?中國(guó)農(nóng)業(yè)可持續(xù)發(fā)展資金支持體系的建構(gòu)? ?中國(guó)農(nóng)業(yè)可持續(xù)發(fā)展資金支持體系構(gòu)建整合，這個(gè)從一般到特殊的過程。 - The method of mathematics logic also had great influence on camap . he was good at mathematics and symbol logic , so he could study the problem of confirmation with the tool of the methods of mathematical logic and probability logic to construct inductive logical system of the theory of probability confirmation
數(shù)理邏輯的發(fā)展對(duì)卡爾納普的思想具有深刻的影響，為他的哲學(xué)研究提供了方法論工具。卡爾納普在數(shù)學(xué)與邏輯方面的造詣，使他能夠利用概率邏輯、數(shù)理邏輯的方法作為工具來研究歸納確證問題，從而構(gòu)建了他的概率確證邏輯體系。 - Piaget has made significant contributes in the psychology of children ' s cognition as follows : first , he produces a complete theory of children ' s cognition structures which is full of dialectical thoughts ; second , he depicts the cognitive developing line of children from their birth to early youth ; third , he is the first psychologist one who introduce mathematical logic to draw children " development of thinking ; finally , he sets up the theoretical construction of genetic epistemology
2兒童認(rèn)知發(fā)展理論的進(jìn)展與思考2 1皮亞杰兒童認(rèn)知結(jié)構(gòu)理論的回顧皮亞杰對(duì)兒童認(rèn)知心理學(xué)的主要貢獻(xiàn)主要體現(xiàn)在以下幾個(gè)方面：第一，提出了一套完整的、富有辨證思想的兒童認(rèn)知結(jié)構(gòu)理論；第二，描繪了兒童從出生到青年初期( 15歲)認(rèn)知發(fā)展的路線；第三，首次采用數(shù)理邏輯作為刻化兒童邏輯思維發(fā)展的工具；第四，構(gòu)造了發(fā)生認(rèn)識(shí)論的理論框架。 - In order to make a distinction between the logic of hegel and dialectical mathematical logic , we name it “ general mathematical logic ” ; dialectical logic of engels is not opinions of engels about logic , but is names logic of hegel ; dialectical logic of engels is a stochastic expressive way , is an improvisational , a temporary vocabulary , so is not a formal learning vocabulary
為了使之與辯證(思惟)數(shù)理邏輯相區(qū)別，可稱之為“普通(思惟)數(shù)理邏輯” ；恩格斯所謂的“辯證邏輯”只是“對(duì)黑格爾的《邏輯學(xué)》中講述的東西的一種稱謂，而不是恩格斯對(duì)邏輯這門科學(xué)本身的看法” ；恩格斯所謂的“辯證邏輯” “只是一種隨機(jī)性的表述方式” ， “是恩格斯在寫札記和筆記時(shí)一個(gè)即興的、臨時(shí)性的用語(yǔ)，因此并不是他的一個(gè)正式的學(xué)術(shù)用語(yǔ)。 ”